Computer aided verification
- Författare
- (Fourth international workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992 : proceedings G. v. Bochmann, D.K. Probst (eds.).)
- Genre
- Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer-Vlg | cop. 1993 | Tyskland, Berlin, New York | 422 sidor. ill. |